Peter Brooks et Myriam Faten Sfar, Anthologie du mélodrame classique
نویسندگان
چکیده
منابع مشابه
Une preuve formelle et intuitionniste du théorème de complétude de la logique classique
Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...
متن کاملBrooks et al. Cited By Bibliography
This file is based on a BibTeX data file. The reference list inclue: Roger et al. (2011), Crone et al. (2011), Robert (2011), Ovaskainen and Meerson (2010), Mebane and Arthaud (2010), Bach et al. (2010), Schmolke et al. (2010), Boyd (2010), Radovic and Mikuska (2009), Olden et al. (2010), Fessl et al. (2010), Hendriks et al. (2009), Martinez-Morales et al. (2009), Daleszczyk and Bunevich (2009)...
متن کاملMédecine factuelle et recommandations de bonne pratique : une extension du modèle classique pour expliquer les décisions médicales non conformes
متن کامل
Sémantique du parallélisme et du choix du langage electre
The Electre language has been developed as a resuit of the expérience of the automatic control department in the implementation of the real time control applications. These applications consist of many tasks that are conditionally executed and interrupted according to some events 'occurences. We propose a language semantic and in particular that of its fundamental operators: parallelism of task...
متن کاملSaadi le Poete de L'antinomie et du Paradoxe
آثار سعدی سرشار از تناقض و پارادوکس می باشد. کاربرد این عوامل نه تنها برای روند متن بازدارنده نیست، بلکه موجب روانی و شیوایی آن نیز می شود و بر غنای آن می افزاید. ما این دو عامل خلاق را، با مثالهایی، در بستر متن و در دو سطح متفاوت مورد مطالعه قرار داده ایم: واژگان و مباحث. تناقض و پارادوکس هر یک در بستر متن از مکانیزم های خاصی برخوردارند و نقش خلاق آنها در حیطه واژگان و مباحث به وضوح به چشم می ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studi Francesi
سال: 2013
ISSN: 0039-2944,2421-5856
DOI: 10.4000/studifrancesi.3121